program verification
程序检验;程序验证
热门查询
- formalize vt. 使形式化；使正式；拘泥礼仪 vi. 拘泥于形式
- regenerate vt. 使再生；革新 adj. 再生的；革新的 vi. 再生；革新
- feller n. 伐木机；樵夫 n. (Feller)人名；(德、英、法、匈、捷、罗、葡)费勒
- corp abbr. 公司（等于corporation ） n. (Corp)人名；(瑞典)科尔普
- probiotic n. 益生素 adj. [生物] 前生命期的
- barents Sea 巴伦支海（位于欧洲北岸与苏联的新地岛、法兰士约瑟夫地群岛、挪威的斯匹次卑尔根群岛之间）
- rejigger vt. 重新安排；重新装备
- falcon n. [鸟] 猎鹰；[鸟] 隼 n. (Falcon)人名；(法、意、西、葡、罗、瑞典)法尔孔；(英)福尔肯
- Pinnock <英方>小桥
- outrageous adj. 粗暴的；可恶的；令人吃惊的
- glutted vt. 使…充满；使…吃饱；过多供应 vi. 吃得过多 n. （商品）供过于求；大量
- Godolphin 戈多尔芬(姓氏)
- thrombolysis 溶栓
- Ashkenazi n. 德系犹太人
- tanning n. 制革；制革法；皮肤晒成褐色 v. 鞣革；把…晒黑；鞭笞（tan的ing形式）
- abstractionist n. 抽象派艺术家；理想主义者 adj. 抽象派艺术的
- symbiosis n. [生态] 共生；合作关系；共栖
- hitchhiking n. 搭乘；搭顺风车旅行
- prone adj. 俯卧的；有…倾向的，易于…的 n. (Prone)人名；(意、法)普罗内
- farther adj. 进一步的；更远的（far的比较级） adv. 更远地；此外；更进一步地
考试词汇表
- Dowlatābād-e' Olyā
- Dowling Degos anomaly
- Dowling Degos disease
- Dowling-Degos anomaly
- Dowling-Degos disease
- Downstream enterprise
- Downward gaze of eyes
- Downy Rosemyrtle Leaf
- Doxifluridine Tablets
- Doxorubicin,Liposomal
- Doxycyclini Chloridum
- Doyen aneurysm needle
- Doyen curved director
- Doyen ovarian forceps
- Doyen perineum needle
- Doyen's needle holder
- Doyen's rib raspatory
- Doyen's skull forceps
- Doyen's stomach clamp
- Doyen's towel forceps
